Beating the L1 cache with value speculation (2021)
mazzo.li·12h·
Discuss: Lobsters
🔮Branch Predictors
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·1d
📱Bytecode Design
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·8h·
Discuss: DEV
🎮Language Ergonomics
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·12h·
Discuss: Hacker News
🗺️Region Inference
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·22h·
Discuss: Hacker News
Cache Optimization
What happened to Longcat models? Why are there no quants available?
huggingface.co·10h·
Discuss: r/LocalLLaMA
Gleam
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🎲Property Testing
Hardware Stockholm Syndrome
programmingsimplicity.substack.com·3h·
Discuss: Substack
🖥️Minimal VMs
The Art of Abstraction — Polymorphic Memory Allocator
unboxthecat.medium.com·1h·
Discuss: r/cpp
🏗️Custom Allocators
Is Odin Just a More Boring C?
dayvster.com·17h·
Discuss: Hacker News
🐹Go Internals
Toy Binary Decision Diagrams
philipzucker.com·1d
Type Checking
The Best Performance Optimization Is Sometimes Changing Your Architecture
reddit.com·1d·
Discuss: r/webdev
🚀Code Motion
We built a CUDA emulator that profiles GPU code with zero hardware
rightnowai.co·4h·
Discuss: Hacker News
🏗️Custom Allocators
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·1h·
Discuss: Hacker News
🔀SSA Construction
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·1d·
Discuss: r/programming
🧠Memory Models
Mojo: Can It Finally Give Python the Speed of Systems Languages?
ponderwall.com·8h·
Discuss: r/programming
🌳Tree Shaking
Algorithms For Black-Box, Physical-to-DRAM Address-Mapping Recovery (Georgia Tech, CNRS, Et Al.)
semiengineering.com·7h
🏷️Memory Tagging
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·7h
functional programming
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·23h·
Discuss: DEV
🌳Pattern Match Compilation
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·2d·
Discuss: Hacker News
🪜Recursive Descent